$\forall$$T$:Type, $L$:$T$ List, $P$:($T$$\rightarrow$$T$$\rightarrow$Prop). ($\forall$$x$$<$$y$$\in$$L$.$P$($x$,$y$)) $\in$ Prop